Probing high-redshift galaxies with Lyα\alpha intensity mapping

We present a study of the cosmological Ly$\alpha$ emission signal at $z > 4$. Our goal is to predict the power spectrum of the spatial fluctuations that could be observed by an intensity mapping survey. The model uses the latest data from the HST legacy fields and the abundance matching technique to associate UV emission and dust properties with the halos, computing the emission from the interstellar medium (ISM) of galaxies and the intergalactic medium (IGM), including the effects of reionization, self-consistently. The Ly$\alpha$ intensity from the diffuse IGM emission is 1.3 (2.0) times more intense than the ISM emission at $z = 4(7)$; both components are fair tracers of the star-forming galaxy distribution. However the power spectrum is dominated by ISM emission on small scales ($k > 0.01 h{\rm Mpc}^{-1}$) with shot noise being significant only above $k = 1 h{\rm Mpc}^{-1}$. At very lange scales ($k < 0.01h{\rm Mpc}^{-1}$) diffuse IGM emission becomes important. The comoving Ly$\alpha$ luminosity density from IGM and galaxies, $\dot \rho_{{\rm Ly}\alpha}^{\rm IGM} = 8.73(6.51) \times 10^{40} {\rm erg}{\rm s}^{-1}{\rm Mpc}^{-3}$ and $\dot \rho_{{\rm Ly}\alpha}^{\rm ISM} = 6.62(3.21) \times 10^{40} {\rm erg}{\rm s}^{-1}{\rm Mpc}^{-3}$ at $z = 4(7)$, is consistent with recent SDSS determinations. We predict a power $k^3 P^{{\rm Ly}\alpha}(k, z)/2\pi^2 = 9.76\times 10^{-4}(2.09\times 10^{-5}){\rm nW}^2{\rm m}^{-4}{\rm sr}^{-2}$ at $z = 4(7)$ for $k = 0.1 h {\rm Mpc}^{-1}$.Comment: 14 Pages, 13 figure

Patologie rare dell'orecchio

After fifty years of experience, mostly spent in ENT surgery at the University of Palermo, I have pleasure in presenting this Atlas of rare diseases of the ear, including clinical cases observed and documented during this long period from 1958 to 2006. We would prefer to divide all the case studies into three chapters: the outer ear, middle ear and inner ear

Policy analysis for self-administrated role-based access control

Current techniques for security analysis of administrative role-based access control (ARBAC) policies restrict themselves to the separate administration assumption that essentially separates administrative roles from regular ones. The naive algorithm of tracking all users is all that is known for the security analysis of ARBAC policies without separate administration, and the state space explosion that this results in precludes building effective tools. In contrast, the separate administration assumption greatly simplifies the analysis since it makes it sufficient to track only one user at a time. However, separation limits the expressiveness of the models and restricts modeling distributed administrative control. In this paper, we undertake a fundamental study of analysis of ARBAC policies without the separate administration restriction, and show that analysis algorithms can be built that track only a bounded number of users, where the bound depends only on the number of administrative roles in the system. Using this fundamental insight paves the way for us to design an involved heuristic to further tame the state space explosion in practical systems. Our results are also very effective when applied on policies designed under the separate administration restriction. We implement our techniques and report on experiments conducted on several realistic case studies

Weight Control System

Weight Control System, a set of linked computer programs which provides weight and balance reports from magnetic tape files, provides weight control and reporting on launch vehicle programs. With minor format modifications the program is applicable to aerospace, marine, automotive and other land transportation industries

Security Analysis of Role-based Access Control through Program Verification

We propose a novel scheme for proving administrative role-based access control (ARBAC) policies correct with respect to security properties using the powerful abstraction based tools available for program verification. Our scheme uses a combination of abstraction and reduction to program verification to perform security analysis. We convert ARBAC policies to imperative programs that simulate the policy abstractly, and then utilize further abstract-interpretation techniques from program analysis to analyze the programs in order to prove the policies secure. We argue that the aggressive set-abstractions and numerical-abstractions we use are natural and appropriate in the access control setting. We implement our scheme using a tool called VAC that translates ARBAC policies to imperative programs followed by an interval-based static analysis of the program, and show that we can effectively prove access control policies correct. The salient feature of our approach are the abstraction schemes we develop and the reduction of role-based access control security (which has nothing to do with programs) to program verification problems

The Positive Feedback of Pop III Objects on Galaxy Formation

We study the formation of molecular hydrogen in cooling gas behind shocks produced during the blow-away process thought to occur in the first collapsed, luminous (Pop III) objects in the early universe. We find that for a wide range of physical parameters the $H_2$ fraction is $f \approx 6 \times 10^{-3}$. The $H_2$ mass produced in such explosions can exceed the amount of relic $H_2$ destroyed inside the photodissociation region surrounding a given Pop III. We conclude that these first objects, differently from the suggestion of Haiman et al 1997, might have a net positive feedback on subsequent galactic formation. We discuss the effects of radiation and the implications of our results for the soft-UV background.Comment: 16 pages, aasms4.sty, LaTeX, 2 figures. submitted to ApJ Letter